Refunctionalization at Work
نویسنده
چکیده
We present the left inverse of Reynolds’s defunctionalization and we show its relevance to programming and to programming languages. We propose two methods to transform a program that is almost in defunctionalized form into one that is actually in defunctionalized form, and we illustrate them with a recognizer for Dyck words and with Dijkstra’s shunting-yard algorithm. Revised version of BRICS RS-07-7. This tutorial documents an invited talk at MPC ’06 [26]. IT-parken, Aabogade 34, DK-8200 Aarhus N, Denmark. Email: ,
منابع مشابه
On one-pass CPS transformations
We bridge two distinct approaches to one-pass CPS transformations, i.e., CPS transformations that reduce administrative redexes at transformation time instead of in a post-processing phase. One approach is compositional and higherorder, and is independently due to Appel, Danvy and Filinski, and Wand, building on Plotkin’s seminal work. The other is non-compositional and based on a reduction sem...
متن کاملDeconstructing the Complexity of a Microenvironmental Niche
Cells acquire their fate in vivo in the context of a complex microenvironmental "niche" comprised of heterologous cell types, signaling molecules, extracellular matrix, biophysical forces, and metabolic substrates. Now Calderón and Boehm report the "refunctionalization" of a defective thymic epithelial niche, offering insights into how signaling molecules may be hierarchically organized to dire...
متن کاملA Rational Deconstruction of Landin's SECD Machine with the J Operator
Landin’s SECD machine was the first abstract machine for applicative expressions, i.e., functional programs. Landin’s J operator was the first control operator for functional languages, and was specified by an extension of the SECD machine. We present a family of evaluation functions corresponding to this extension of the SECD machine, using a series of elementary transformations (transformatio...
متن کاملSonogashira–Hagihara reactions of halogenated glycals
Herein, we report on our findings of the Sonogashira-Hagihara reaction with 1-iodinated and 2-brominated glycals using several aromatic and aliphatic alkynes. This Pd-catalyzed cross-coupling reaction presents a facile access to alkynyl C-glycosides and sets the stage for a reductive/oxidative refunctionalization of the enyne moiety to regenerate either C-glycosidic structures or pyran derivati...
متن کاملAsymmetric Synthesis of the Benzoquinoid Ansamycin Antitumor Antibiotics: Total Synthesis of (+)-Macbecin
A convergent asymmetric synthesis of the antitumor antibiotic macbecin I has been achieved. Six of the seven stereogenic centers within the target structure were controlled using asymmetric aldol methodology, while the final stereogenic center was established through internal asymmetric induction. Fragment coupling was accomplished using a mild, titanium tetrachloride mediated aldol reaction. T...
متن کامل